41. Computational intelligence and mathematics for tackling complex problems /
المؤلف: László T. Kóczy, Jesús Medina-Moreno, Eloísa Ramírez-Poussa, Alexander Šostak, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational intelligence, Congresses.,Fuzzy mathematics, Congresses.,Computational intelligence.,Fuzzy mathematics.
رده :
QA248
42. Computational science and its applications-- ICCSA 2013 :
المؤلف: Beniamino Murgante ... [and seven others] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer networks -- Congresses.,Computer science -- Congresses.
43. Computer Aided Verification :
المؤلف: Isil Dillig, Serdar Tasiran (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
44. Computer Assisted Radiology
المؤلف: Computergestützte Radiologie : Proceedings of the International Symposium / Vorträge des Internationalen Symposiums.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Biomedical engineering.,Computer-aided design.,Engineering.
45. [Computer aided systems theory] [revised selected papers]
المؤلف: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
46. Computer information systems and industrial management :
المؤلف: Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sławomir Wierzchoń (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks-- Security measures, Congresses,Computer networks, Congresses,Database management, Congresses
رده :
TK5105
.
5
.
I58
2013
47. Conceptual Modeling
المؤلف: \ edited by Paul Johannesson, Mong Li Lee, Stephen W. Liddle, Andreas L. Opdahl, Óscar Pastor López.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Entity-relationship modeling -- Congresses.,Computer science.,Algorithms.,Database management.,علوم کامپیوتر,ال‍گ‍وری‍ت‍م‌ه‍ا ,پایگاه‌‌های اطلاعاتی -- مدیریت
رده :
QA76
.
5
.
C61
2015
E-Book
,
48. Contemporary computing :
المؤلف: Sanjay Ranka [and others] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Soft computing, Congresses.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Informatique.,Soft computing.,Soft computing.
رده :
QA75
.
5
.
I584
2009
49. Data integration in the life sciences :
المؤلف: Sören Auer, Maria-Esther Vidal (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Bioinformatics, Congresses.,Data integration (Computer science), Congresses.,Medical informatics, Congresses.,Bioinformatics.,Data integration (Computer science),Medical informatics.
رده :
QA76
.
9
.
D338
50. Declarative programming and knowledge management :
المؤلف: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
51. Digital human modeling and applications in health, safety, ergonomics and risk management :
المؤلف: Vincent G. Duffy (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Digital computer simulation, Congresses.,Environmental risk assessment-- Data processing, Congresses.,Human engineering-- Data processing, Congresses.,Human mechanics-- Computer simulation, Congresses.,Human-machine systems-- Computer simulation, Congresses.,Medical care-- Data processing, Congresses.,Digital computer simulation.,Environmental risk assessment-- Data processing.,Human engineering-- Data processing.,Human mechanics-- Computer simulation.,Human-machine systems-- Computer simulation.,Medical care-- Data processing.
رده :
QA76
.
9
.
H85
52. Distributed algorithms :
المؤلف: Marios Mavronicolas, Philippas Tsigas, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithmes-- Congrès.,Algoritmen.,Computer algorithms.,Computer network protocols, Congresses.,Distributed algorithms, Congresses.,Electronic data processing-- Distributed processing.,Gedistribueerde gegevensverwerking.,Kongress,Traitement réparti-- Congrès.,Verteilter Algorithmus
رده :
QA76
.
9
.
D5
I597
1997
53. Distributed and parallel computing :
المؤلف: Michael Hobbs, Andrzej M. Goscinski, Wanlei Zhou (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithmes -- Congrès.,Multiprocesseurs -- Programmation -- Congrès.,Parallel processing (Electronic computers) -- Congresses.
54. Economic models and algorithms for distributed systems
المؤلف: Dirk Neumann [and others], editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational grids (Computer systems) -- Congresses.,Econometric models -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.
رده :
QA76
.
9
.
D5
D575
2010
55. Energy efficiency in large scale distributed systems :
المؤلف: Jean-Marc Pierson, Georges Da Costa, Lars Dittmann (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cloud computing, Congresses,Computer systems-- Energy consumption, Congresses,Data processing service centers-- Energy conservation, Congresses,High performance computing, Congresses
رده :
TJ163
.
5
.
D38
56. Engineering applications of neural networks :
المؤلف: Lazaros Iliadis, Chrisina Jayne (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Neural networks (Computer science), Congresses
رده :
QA76
.
87
.
I58
2011
57. Enterprise information systems :
المؤلف: Joaquim Filipe, José Cordeiro (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Management information systems, Congresses.,Affaires.,Economie de l'entreprise.,Management information systems.,Science économique.
رده :
T58
.
6
.
I58
2009
58. Euro-Par 2018 :
المؤلف: edited by Gabriele Mencagli, Dora B. Heras et al. (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I58
2018eb
59. Foundations of data organization and algorithms : 3rd International Conference, FODO 1989, Paris, France, June 21-23, 1989 : Proceedings
المؤلف: W. Litwin, H.-J. Schek )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Database management,Congresses ، Data structures )Computer science(,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
367
60. Foundations of data organization and algorithms: 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Database management,Congresses ، Data structures )Computer science(,Congresses ، Algorithms
رده :
QA
76
.
9
.
D3
.
F67
1989
